Modelling the giant, Zn–Pb–Ag Century deposit, Queensland, Australia
نویسندگان
چکیده
منابع مشابه
Modelling the giant, Zn-Pb-Ag Century deposit, Queensland, Australia
This paper presents a combination of geometric reconstructions of the Century Zn–Pb–Ag deposit, and finite-difference modelling of coupled deformation and fluid flow. Our intention is to demonstrate that these computer-based applications represent a new approach in testing ore genesis models. We use a ‘‘visiometric’’ approach, utilising GoCad 3D structural and property modelling. Computer visua...
متن کاملOn the occurrence of smolyaninovite in the Mount Cobalt deposit, in north-western Queensland, Australia
OVER the last several years the Department of Chemical Engineering of Monash University has been studying the general problem of mineral beneficiation of cobalt minerals. As part of the investigation, samples were obtained from the cobalt-mineralized area around Mount Cobalt, which is situated some 11o km south of Cloncurry in north-west Queensland, Australia. The geology of the area has been d...
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
This document presents a formal abstract syntax in Z for fragments in the CARE language. Constraints are included which deene the \semantic checks" which deene well-formedness of fragments.
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
We have recently extended the sequential refinement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows refinement steps that separate timing constraints from non-timing requirements. Rules are provided for handling timing constraints, but the refinement of components implementing non-timing r...
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Geosciences
سال: 2009
ISSN: 0098-3004
DOI: 10.1016/j.cageo.2007.09.002